Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
291	9th Central and Eastern European Software Engineering Conference in Russia - CEE-SECR 2013 October[removed], Moscow Constructing BPMN-models from Add to Reading List Source URL: 2013.secr.ru Language: English - Date: 2013-10-25 08:14:44 Systems engineering Science Process mining Petri net Business Process Model and Notation Causality Process management Diagrams Management
292	Petri Nets, Discrete Physics, and Distributed Quantum Computation Samson Abramsky Oxford University Computing Laboratory This paper is dedicated to Ugo Montanari on the occasion of his 65th birthday. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:50 Mathematics Braided monoidal category Petri net Monoid PRO Penrose graphical notation Linear logic Tensor product Tensor Category theory Algebra Monoidal categories
293	M. Rauterberg, S. Schluep & M. Fjeld (1998): Modelling of cognitive complexity with Petri nets: an action theoretical approach. In R. Trappl (ed.) Cybernetics and Systems’98, Vol. 2, pp[removed]Wien: Austrian Society Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:54 Cognitive science Educational psychology Scientific modeling Concurrency Petri net Task analysis Software development process Mental model Problem solving Science Cognitive psychology Ethology
294	Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2003-12-16 10:28:26 Models of computation FO Finite model theory If and only if Logical connective Automata theory Interpretation Conjunctive normal form Petri net Mathematics Theoretical computer science Logic
295	The 1998 22nd Annual acm International Collegiate Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 1999-10-03 20:18:11 Procedural programming languages Models of computation Concurrency Diagrams Petri net Smalltalk BASIC ALGOL Fortran Software engineering Computing Computer programming
296	How to model behavioural and cognitive complexity in human-computer interaction with Petri nets M. Rauterberg, S. Schluep and M. Fjeld Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:37 Cognitive science Scientific modeling Concurrency Petri net Goal setting Task analysis Software development process Mental model Model Science Cognitive psychology Ethology
297	Goal setting mechanism in Petri net models of human decision making M. Rauterberg, M. Fjeld, and S. Schluep Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:34 Diagrams Petri net Behavior Mind Finite-state machine Actor model Motivation Computer science Goal setting Models of computation Cognition Concurrency
298	Parallel or event-driven goal setting mechanism in Petri net based models of expert decision behaviour M. Rauterberg, M. Fjeld, and S. Schluep Researchgroup Human Machine Interaction (MMI) Institute for Hygiene and Appli Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:52:57 Cognitive science Cognitive psychology Educational psychology Neuropsychological assessment Petri net Model Mental model Complexity Problem solving Science Ethology Mind
299	Battery Transition Systems ∗ Udi Boker Add to Reading List Source URL: www.faculty.idc.ac.il Language: English - Date: 2014-01-22 03:50:39 Tree Petri net Battery Mathematics Science Logic Models of computation Rechargeable battery Energy
300	SIMULATION MODELING METHODOLOGY: PRINCIPLES AND ETIOLOGY OF DECISION SUPPORT by Add to Reading List Source URL: www.thesimguy.com Language: English - Date: 2008-10-07 18:54:07 Simulation Models of computation Computing Interpretation Scientific modelling DEVS Discrete event simulation Logic simulation Petri net Scientific modeling Electronic engineering Science

UPDATE